Homogeneous ideal

An ideal $\mathfrak{a}$ of a graded ring $S=\oplus_p S_d$ is called homogeneous if it satisfies the condition:

If $a\in \mathfrak{a}$ and $a=\sum_da_d$ with $a_d\in S_d$, then each $a_d\in \mathfrak{a}$.

________________________________________

________________________________________

________________________________________

Author of the notes: Antonio J. Pan-Collantes

antonio.pan@uca.es